[Mini-OS] Make bind_virq return the port
authorKeir Fraser <keir.fraser@citrix.com>
Fri, 23 Nov 2007 16:25:59 +0000 (16:25 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Fri, 23 Nov 2007 16:25:59 +0000 (16:25 +0000)
commit9ebc5c7ea6e855d71d75b985c4a9ed6cc9f353e2
treebbdde8340db924fd70540cc7c6d4f41ddfccb3dd
parentfd2f80c255acc5edf0cea58053c81f392042bf51
[Mini-OS] Make bind_virq return the port

Make bind_virq() return the port bound to the irq, which is useful
e.g. for masking/unmasking it.

Signed-off-by: Samuel Thibault <samuel.thibault@citrix.com>
extras/mini-os/arch/ia64/time.c
extras/mini-os/events.c
extras/mini-os/include/events.h